Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
221	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Type theory Data types Formal methods Functional programming Logic in computer science Symbol Satisfiability modulo theories HindleyMilner type system Geoff Sutcliffe Xi Polymorphism Type variable
222	Evolutionary Fuzzy Rule Acquisition for Playing Ms.PacMan Hisashi Handa, Member, IEEE Abstract— This short description is written for the Ms.PacMan competition in WCCI, held in Hong-Kong. First, instructions, i.e., how Add to Reading List Source URL: cswww.essex.ac.uk Language: English - Date: 2008-05-24 14:11:18 Fuzzy logic Artificial intelligence Logic in computer science Non-classical logic Pac-Man Membership function Ghosts Fuzzy rule
223	Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 10:44:59 Lambda calculus Functional programming Theoretical computer science Logic in computer science Continuation-passing style Combinatory logic Eval Monad Derivative Free variables and bound variables Lambda calculus definition A-normal form
224	Replication of Assert Use in GitHub Projects Casey Casalnuovo, Prem Devanbu, Vladimir Filkov, Baishakhi Ray Computer Science Dept., Univ. of California, Davis {ccasal,ptdevanbu,vfilkov,abioliveira,bairay}@ucdavis.edu I. Add to Reading List Source URL: rayb.info Language: English - Date: 2016-08-19 22:20:15 Logic in computer science Formal methods Assertion Debugging Diff utility Software bug Merge Go Logarithm
225	Aachen Department of Computer Science Technical Report SAT Encodings: From Constraint-Based Termination Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2012-10-02 11:28:08 Logic in computer science Mathematical logic Aachen RWTH Aachen University Termination analysis Boolean satisfiability problem NP-completeness Algorithm Rewriting
226	propositional logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:29 Type theory Automated theorem proving Logic in computer science Formal methods Proof assistants Coq CurryHoward correspondence Lambda calculus Propositional calculus First-order logic
227	sets-graph-msuc-opt.ipeps Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:04:43 Logic in computer science Automated theorem proving Constraint programming Boolean algebra Propositional calculus Unsatisfiable core Boolean satisfiability problem Resolution Maximum satisfiability problem Satisfiability Package manager Debian
228	Microsoft Word - f1488_1.doc Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software testing Formal methods Logic in computer science Theoretical computer science Program analysis Software verification Formal verification Static program analysis Model checking Requirement Device driver synthesis and verification Runtime verification
229	Olympiads in Informatics, 2010, Vol. 4, 3–14 © 2010 Institute of Mathematics and Informatics, Vilnius 3 Encouraging Algorithmic Thinking Add to Reading List Source URL: www.mii.lt Language: English - Date: 2015-04-15 03:55:04 Algorithm Mathematical logic Theoretical computer science Computer science Problem solving Australian Informatics Olympiad
230	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Logic in computer science Formal methods Procedural programming languages Constraint programming Satisfiability modulo theories Parameter Formal verification Scheme Logic programming ALGOL 68 Decompiler Standard ML

UPDATE